(ML)2: A formal language for KADS models of expertise
نویسندگان
چکیده
منابع مشابه
A Formal Language for Kads Models (short Version)
We present (ML) 2 , a formal language for the representation of KADS models of expertise. (ML) 2 is a combination of rst order predicate logic (for the declarative representation of domain knowledge), meta-logic (for the representation of how to use the domain knowledge) and dynamic logic (for the representation of control information). After a brief summary of KADS, we describe how each of the...
متن کاملTheME: an Environment for Building Formal KADS-II Models of Expertise
specify causeModel hypothesis observable observationModel sigma symptom sigma Balder et. al.: Building Formal KADS-II Models Figure 3: Menufor an item in a layer. band animation, connect modules. TheME generates the appropriate formal statements; • removing, modules can be removed, but only in those cases where no other modules depend on them; • renaming, if the name of a module is changed all ...
متن کاملMechanizing KADS models of expertise with MODEL-K
To close the gap between knowledge level and symbol level, the MODEL-K language allows to specify KADS conceptual models and to refine them to operational systems. Since both activities may be arbitrarily interleaved, early prototyping is supported at the highest level. Systems written in MODEL-K contain their conceptual model, making them more transparent, easier to communicate to the expert, ...
متن کاملA comparison of languages which operationalize and formalize KADS models of expertise
In the field of Knowledge Engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the construction of knowledgebased systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion ...
متن کاملModeling Expertise Using KADS and MODEL-ECS
In this paper, the authors will outline the knowledge level modeling of a simple diagnosis task in the Audio System Diagnosis domain. The Knowledge Analysis and Design Support (KADS) (Schreiber, Wielinga, and Breuker, 1993) methodology is adopted in carrying out the knowledge modeling activity, and MODEL-ECS is used as the implementation of the model. This paper attempts to demonstrate that by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge Acquisition
سال: 1992
ISSN: 1042-8143
DOI: 10.1016/1042-8143(92)90017-u